Andrew - PDFSEARCH.IO - Document Search Engine

Andrew
Results: 26901

#	Item
11	Practical Fault Injection Attacks on SPHINCS Aymeric Genêt1,2 , Matthias J. Kannwischer3 , Hervé Pelletier2 , and Andrew McLauchlan2 ? 1 EPFL, Lausanne, Switzerland Add to Reading List Source URL: kannwischer.eu Language: English - Date: 2018-10-15 10:31:49 Cryptography Public-key cryptography Post-quantum cryptography Hash-based cryptography Hashing Merkle signature scheme Digital signature Cryptographic hash function Merkle tree RSA Hash function Quantum digital signature
12	Making Argument Systems for Outsourced Computation Practical (Sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract This paper describes the desig Add to Reading List Source URL: www.pepper-project.org Language: English - Date: 2017-11-11 14:59:54 Cryptography Computational complexity theory Randomized algorithms Complexity classes Probabilistically checkable proof Proof theory IP NP NEXPTIME Soundness PCP theorem Commitment scheme
13	Not at Home on the Range: Peer Production and the Urban/Rural Divide Isaac L. Johnson, Yilun Lin, Toby Jia-Jun Li†, Andrew Hall, Aaron Halfaker§, Johannes Schöning‡, Brent Hecht* GroupLens Research, Department Add to Reading List Source URL: brenthecht.com Language: English* - Date: 2016-10-18 00:00:14 Digital media Wikipedia Collaboration Wikis Social information processing World Wide Web OpenStreetMap WikiProject Wiki Social media
14	Toward practical and unconditional verification of remote computations Srinath Setty∗, Andrew J. Blumberg∗, and Michael Walfish∗ 1 Introduction Add to Reading List Source URL: www.pepper-project.org Language: English - Date: 2017-11-11 14:59:54 Cryptography Computational complexity theory Complexity classes Public-key cryptography Interactive proof system NP NEXPTIME IP Probabilistically checkable proof Commitment scheme Proof of secure erasure Randomized algorithm
15	Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ † Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2014-12-14 14:47:16 Computational complexity theory Theory of computation IP Proof of knowledge NP Zero-knowledge proof Certificate Theoretical computer science Applied mathematics
16	Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at Add to Reading List Source URL: www.pepper-project.org Language: English - Date: 2017-11-11 14:59:54 Computational complexity theory Logic Mathematics Randomized algorithms Automated theorem proving Logic programming Probabilistically checkable proof IP NP Substitution MAX-3SAT operator
17	Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts Yi Zhou Deepak Kumar Surya Bakshi Joshua Mason Andrew Miller Michael Bailey University of Illinois, Urbana-Champaign Abstract Interacting with Ethereum smart Add to Reading List Source URL: kumarde.com Language: English - Date: 2018-08-16 10:08:06 Cryptocurrencies Blockchains Ethereum Alternative currencies Concurrent computing Computing Distributed computing Cross-platform software Smart contract Solidity ERC-20 CryptoKitties
18	PDF Document Add to Reading List Source URL: www.andrew.cmu.edu - Date: 2018-09-02 22:03:31
19	Multi-step Bootstrapping Jennifer She Reinforcement Learning: An Introduction by Richard S. Sutton and Andrew G. Barto February 7, 2017 Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2018-02-06 02:47:52 Machine learning algorithms Money Finance Artificial intelligence Language acquisition Richard S. Sutton Reinforcement learning Bootstrapping Andrew Barto Barto